『計算物理班 新たな数学としてのホモトピー型理論』Physics Lab. 2024
関山 実. 2024. 計算物理班 新たな数学としてのホモトピー型理論. https://event.phys.s.u-tokyo.ac.jp/physlab2024/pdfs/poster/poster_calcphys02.pdf
Univalence Axiom (UA)は「ホモトピー同値な型は等しい」
$ (A =_U B) ≃ (A ≃ B)
$ U : 宇宙(universe)